Order theory - PDFSEARCH.IO - Document Search Engine

Order theory
Results: 3266

#	Item
631	IEEE TRANSACTIONS ON INFORMATION THEORY, VOL. 50, NO. 8, AUGUSTSecond-Order Asymptotics of Mutual Information Viacheslav V. Prelov and Sergio Verdú, Fellow, IEEE Add to Reading List Source URL: www.princeton.edu Language: English - Date: 2004-08-20 09:57:09 Data analysis Covariance and correlation Communication Probability theory Multivariate normal distribution Covariance matrix Channel capacity Additive white Gaussian noise Noisy-channel coding theorem Statistics Mathematics Information theory
632	Generation of verification conditions for Abadi and Leino’s Logic of Objects [Extended Abstract] Francis Tang ∗ Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2002-01-23 08:33:01 Model theory Metalogic Deduction First-order logic Predicate logic Euclidean algorithm Symbol Interpretation Function Logic Mathematics Mathematical logic
633	CCST9017 Hidden Order in Daily Life: A Mathematical Perspective Lecture 3 Game Theory and Auctions Dr. Tuen Wai Ng Add to Reading List Source URL: hkumath.hku.hk Language: English - Date: 2014-09-18 04:24:59 Nash equilibrium Matching pennies Strategy Strategic dominance Solution concept Outcome Zero–sum game Coordination game Risk dominance Game theory Problem solving Decision theory
634	A Review of The Politics of Injustice: Crime and Punishment in America By Paul Parker Truman State University Book: The Politics of Injustice: Crime and Punishment in America (2nd ed.) Authors: Katherine Beckett and Theo Add to Reading List Source URL: www.albany.edu Language: English - Date: 2011-08-11 15:37:27 Law Criminal law Crime prevention Anti-social behaviour Law and order Broken windows theory Criminal justice Zero tolerance Capital punishment Criminology Law enforcement Crime
635	Foundations of Software Technology and Theoretical Computer Science (BangaloreEditors: R. Hariharan, M. Mukund, V. Vinay; pp - The unfolding of general Petri nets Jonathan Hayman and Glynn Winskel Computer Labora Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2012-12-03 12:28:12 Concurrency Diagrams Petri net Order theory Adjoint functors Pullback Subcategory Category Morphism Category theory Mathematics Abstract algebra
636	Predicate Logic Review John MacFarlane January 24, 2011 1 Add to Reading List Source URL: johnmacfarlane.net Language: English - Date: 2011-01-24 19:39:11 Predicate logic Logical syntax Propositional calculus Interpretation First-order logic Well-formed formula Function Constructible universe Logical connective Logic Formal languages Model theory
637	Preventing Arithmetic Overflows in Alloy Aleksandar Milicevica,∗, Daniel Jacksona a Massachusetts Institute of Technology Computer Science and Artificial Intelligence Laboratory, Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2014-07-07 17:53:08 Model theory Semantics Predicate logic Formal languages Metalogic First-order logic Alloy Analyzer Alloy Integer overflow Logic Mathematical logic Mathematics
638	CCST9017 Hidden Order in Daily Life: A Mathematical Perspective Lecture 9 Error-Control Codes Add to Reading List Source URL: hkumath.hku.hk Language: English - Date: 2014-11-18 19:28:58 Data Forward error correction Repetition code Hamming code Reed–Solomon error correction Data transmission Code Hybrid automatic repeat request Coding theory Error detection and correction Telecommunications engineering Information
639	Logical Characterization of Weighted Pebble Walking Automata ∗ Benedikt Bollig, Paul Gastin Benjamin Monmege Add to Reading List Source URL: www.ulb.ac.be Language: English - Date: 2014-07-15 12:14:29 Combinatorics Automata theory Model theory Graph theory Nested word Words Structure First-order logic Graph Mathematics Formal languages Logic
640	Generalized Quantifiers and Definite Descriptions John MacFarlane—Philosophy 142 February 1, 2011 1 Add to Reading List Source URL: johnmacfarlane.net Language: English - Date: 2011-02-01 15:26:42 Model theory Quantification Philosophy of language Predicate logic First-order logic Interpretation Principia Mathematica Definite description Proposition Logic Mathematics Mathematical logic

UPDATE